Operational Semantics with Hierarchical Abstract Syntax Graphs
نویسندگان
چکیده
منابع مشابه
Syntax and Semantics of Abstract Binding Trees
binding trees (abts) are a generalization of abstract syntax trees where operators may express variable binding structure as part of their arities. Originally formulated by Peter Aczel [1], unisorted abts have been deployed successfully as the uniform syntactic framework for several implementations of Constructive Type Theory, including Nuprl [3], MetaPRL [13] and JonPRL [21]. In Practical Foun...
متن کاملModularity in Structural Operational Semantics (extended Abstract)
Modularity is an important pragmatic aspect of semantic descriptions: good modu-larity is needed to allow the reuse of existing descriptions when extending or changing the described language. In denotational semantics, the issue of modularity has received much attention, and appropriate abstractions have been introduced, so that deenitions of semantic functions may be independent of the details...
متن کاملAbstract Interpretation in the Operational Semantics Hierarchy
Interpretation in the Operational Semantics Hierarchy
متن کاملAn Operational Semantics for Foops Extended Abstract
FOOPS is a functional, concurrent, object-oriented language. We give a structural operational semantics for FOOPS, considering features such as: classes of objects with associated methods and attributes, object identity, dynamic object creation and deletion, overloading, polymorphism, inheritance with overriding, concurrency, nondeterminism and atomic execution.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2021
ISSN: 2075-2180
DOI: 10.4204/eptcs.334.1